home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part2 / 12202 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  3.2 KB
  1. Path: newsroom.hitc.com!usenet
  2. From: Ben Jones <bjones@eos.hitc.com>
  3. Newsgroups: comp.lang.c++
  4. Subject: Re: ?Callbacks / Pointer to member functions?
  5. Date: Mon, 18 Mar 1996 09:21:43 -0500
  6. Organization: Hughes Team (EOSDIS)
  7. Message-ID: <314D7177.6549@eos.hitc.com>
  8. References: <4i9b3s$7tt@serveru1.naic.wpafb.af.mil>
  9. NNTP-Posting-Host: lo-mac2134a.hitc.com
  10. Mime-Version: 1.0
  11. Content-Type: text/plain; charset=us-ascii
  12. Content-Transfer-Encoding: 7bit
  13. X-Mailer: Mozilla 2.0 (Macintosh; I; 68K)
  14.  
  15. jimmie j rohrer/scde/77815 wrote:
  16. >         1) How can I get a SINGLE pointer to a member function that
  17. > can be invoked when it is passed to some third party?
  18. > 
  19. >         -or-
  20. > 
  21. >         2) Is there some clever way to get motif to call any given
  22. > member function from a 'function' callback?
  23.  
  24. There is a way to do it.  Unfortunately it is compiler and platform 
  25. dependent and the technical details are not typically published.  A
  26. pointer to member function consists of 3 pieces of information encoded
  27. into 8 bytes (16 on a Dec Alpha):
  28.  
  29.     A flag which indicates if a virtual function is involved.
  30.  
  31.     The address of the actual function, if it is non virtual.  The
  32.     offset into the vtable, if it is virtual.
  33.  
  34.     The offset into the object of the address of the vtable.
  35.  
  36. If you can find out which fields are which, then it is possible to
  37. obtain the address of the actual function to be called.  This
  38. function will have the same prototype as the member function
  39. except that it has an additional argument at the beginning of
  40. the argument list which is the pointer to the object it is to
  41. operate upon.  That is, a member function with the prototype:
  42.  
  43.     type (classname::*)(type1,type2,...)
  44.  
  45. actually has the prototype:
  46.  
  47.     type (*)(classname*,type1,type2,...)
  48.  
  49. Which brings to mind the question:  Why can't the C++ language
  50. deal with the expressions:
  51.  
  52.     object.function_name
  53.     pointer->function_name
  54.  
  55. unless parentheses are applied.  It can deal with
  56.  
  57.     function_name
  58.  
  59. just fine.  All it would take would be a way to declare the
  60. container to hold such an expression.  Just as we can say:
  61.  
  62.     type (*pf)(type1,type2,...) = function_name;  // Store now
  63.         ...
  64.     pf(arg1,arg2,...)                             // execute later
  65.  
  66. a simple extension to C++ would make it possible to say:
  67.  
  68.     type (::*pbmf)(type1,type2,...) = object.function_name;
  69.         ...
  70.     pbmf(arg1,arg2,...)
  71.  
  72. The <pbmf> (pointer to bound member function) would contain the object
  73. pointer and the address of the actual function to be applied to that
  74. object.  The compiler could handle overload resolution in this case
  75. just as easily as it does for the non-member-function case.  It could
  76. generate the appropriate code for obtaining the function address just 
  77. as easily as it does for generating the internal fields of a
  78. pointer-to-member-function.
  79.  
  80. COMPILER WRITERS, DO US ALL A BIG FAVOR AND IMPLEMENT THIS, PLEASE.
  81.  
  82. We could then write much simpler class libraries.  Instead of having
  83. to sub-class in order to override dummy functions, we could simply
  84. do the intuitively obvious:
  85.  
  86.     a.out = b.in
  87.  
  88. so that when "out(...)" is called in this instance of class A,
  89. "b.in(...)" is called.
  90. -- 
  91. Ben Jones
  92. Hughes Information Technology
  93. bjones@eos.hitc.com
  94.